( ( ( red rubber neck tie ) ) ) ( red rubber neck tie )